Problèmes de contraintes hybrides pour l’ordonnancement d’activités

Le raisonnement sur le temps est une tâche importante pour de nombreux domaines de l’Informatique (planification temporelle, traitement du langage naturel, etc.). Dans ce cadre, différentes approches représentant les informations temporelles à l’aide de contraintes numériques ou qualitatives ont été étudiées. Dans cet article, nous proposons un nouveau formalisme basé sur des problèmes d’optimisation particuliers appelés Problèmes de Contraintes Hybrides (PCH). Les PCH permettent de représenter et de traiter des problèmes d’ordonnancement d’activités à l’aide de contraintes temporelles qualitatives et numériques et des contraintes de ressources. Pour résoudre un PCH, nous proposons une approche itérative permettant de caractériser une solution optimale à l’aide d’une recherche arborescente avec retour arrière. À chaque étape de la recherche, des méthodes de filtrage considérant les différentes natures de contraintes sont mises en œuvre. Des résultats expérimentaux concernant cette approche sont également présentés.